Calculating End Game Databases for General Game Playing

The issue of end game database construction is known and well-studied in various specific gaming domains like the Chess and the Checkers. However with arrival of General Game Playing (GGP) challenge the automatic construction of end game databases attracted focus again. The current paper presents the sound and complete algorithm for automated construction of end game databases within the GGP setting. The theoretical base for the algorithm stands on the regression introduced in the Situation Calculus. Along with the theoretical base a sample implementation constructed on top of the FLUX (a Fluent Calculus implementation) is presented. Discussion of current open issues and future challenges concludes the writing.